seven sketches in compositionality

• [[pull]] [[an invitation to applied category theory]]